Bundle Security Protocol Specification
نویسندگان
چکیده
This document defines an Experimental Protocol for the Internet community. This document is a product of the Internet Research Task Force (IRTF). The IRTF publishes the results of Internet-related research and development activities. These results might not be suitable for deployment. This RFC represents the consensus of the Delay-Tolerant Networking Research Group of the Internet Research Task Force (IRTF). Documents approved for publication by the IRSG are not a candidate for any level of Internet Standard; see Section 2 of RFC 5741.
منابع مشابه
High-level specification of security systems
In order to study security systems, we have developed a methodology for application of formal analysis techniques commonly used in communication protocols to the analysis of cryptographic protocols. In particular, we have extended the design and analysis phases of protocol design with security properties. Our proposal uses a specification notation based on HMSC/MSC, which can be automatically t...
متن کاملSecurity in Delay Tolerant Networks for the Android Platform
Security Block (ASB) The structure of an ASB is presented in g. 3.2, and contains the following elds. • Block type code: Speci es the type of the block and is included in all DTN blocks. As of security, it speci es whether the block is BAB (0x02), PIB (0x03), PCB (0x04) or ESB (0x09). • Block processing control ags: It is de ned in the Bundle Protocol and is common to all DTN blocks. • EID refe...
متن کاملExtending CAPSL for Logic-Based Verifications
Cryptographic protocols are designed to provide security services, such as key distribution, authentication and non-repudiation, over insecure networks. The design process of cryptographic protocols is highly complex. In particular, the translation from the informal protocol description to the formal protocol specification is an error-prone step, as the exact meaning of the requirements of the ...
متن کاملIssues in Generating Security Protocols Automatically
Protocol design is a very challenging and knowledge-intensive task. Designing a protocol is as hard as synthesizing a program. In this paper, we will first discuss the issues in our automatic security protocol generator, and then propose an approach to constructing security protocols intelligently, based on a security property specification and an extensible general-purpose library of schemas. ...
متن کاملProtocol Engineering Applied to Formal Analysis of Security Systems
Every communication system requiring security properties is certainly critical. In order to study the security of communication systems, we have developed a methodology for the application of the formal analysis techniques of communication protocols to the analysis of cryptographic ones. We have extended the design and analysis phases with security properties. Our methodology uses a specificati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- RFC
دوره 6257 شماره
صفحات -
تاریخ انتشار 2011